Neuroscience Formal Seminar Molecular mechanism of hippocampal synaptic plasticity Yasunori Hayashi, M.D., Ph.D. Senior Team Leader Brain Science Institute, RIKEN

Source URL: www.neuroscience.ucsf.edu

Biology and Philosophy 14: 83–101, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Causality in Complex Systems ANDREAS WAGNER University of New Mexico

Source URL: www.ieu.uzh.ch

• Philosophy
• Academia
• Metaphysics
• Causality
• Philosophy of science
• Formal sciences
• Control theory
• Causal inference
• Mathematical model
• Mathematical and theoretical biology
• Nonlinear system
• Ceteris paribus

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language

Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010

Source URL: www.bensmyth.com

Contract.Requires(amount > 0.0); Contract.Ensures(Balance == Contract.OldValue(Balance) + amount); Contract.Invariant(Balance > 0.0); Encouraging Effective Contract Specifications

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Postcondition
• Null

Philosophy of Computer Science: PoC Meets AI and Law (Roundtable Discussion) Organized by Rainhard Bengez, TU Muenchen, Germany () Raymond Turner, University of Essex, UK ()

Source URL: events.cs.bham.ac.uk

• Academia
• Knowledge
• Engineering
• Abstraction
• Philosophy of artificial intelligence
• Formal sciences
• Complex systems theory
• Computer engineering
• Computer science
• Philosophy of information
• Philosophy
• Mathematics

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009

Source URL: www.cs.ru.nl

• Theoretical computer science
• Mathematics
• Logic
• Mathematical logic
• Formal languages
• Logic in computer science
• Automated theorem proving
• Logic programming
• Rewriting
• Confluence
• Rewrite order
• Substitution

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security